* admin.el (make-manuals): Add the option to only make certain output types.
authorGlenn Morris <rgm@gnu.org>
Sat, 6 Jul 2013 18:28:54 +0000 (11:28 -0700)
committerGlenn Morris <rgm@gnu.org>
Sat, 6 Jul 2013 18:28:54 +0000 (11:28 -0700)
commit2e331b839dc9f4e33375c5156cde85363d8a8233
tree2dea1604692b179fda803ab7214e16ac7ecfbd36
parent7c317d0a9da495988f6ca978757cc188a1459924
* admin.el (make-manuals): Add the option to only make certain output types.
(manual-misc-html): Special-case ccmode and efaq.
(manual-html-mono, manual-html-node, manual-pdf, manual-ps):
Move creation of output directory here from make-manuals.
(manual-html-fix-index-2): Avoid dynamic reference to `f'.
admin/ChangeLog
admin/admin.el